Optimal. Leaf size=53 \[ -\frac {b^3 \log \left (b+c x^2\right )}{2 c^4}+\frac {b^2 x^2}{2 c^3}-\frac {b x^4}{4 c^2}+\frac {x^6}{6 c} \]
________________________________________________________________________________________
Rubi [A] time = 0.05, antiderivative size = 53, normalized size of antiderivative = 1.00, number of steps used = 4, number of rules used = 3, integrand size = 17, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.176, Rules used = {1584, 266, 43} \begin {gather*} \frac {b^2 x^2}{2 c^3}-\frac {b^3 \log \left (b+c x^2\right )}{2 c^4}-\frac {b x^4}{4 c^2}+\frac {x^6}{6 c} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 43
Rule 266
Rule 1584
Rubi steps
\begin {align*} \int \frac {x^9}{b x^2+c x^4} \, dx &=\int \frac {x^7}{b+c x^2} \, dx\\ &=\frac {1}{2} \operatorname {Subst}\left (\int \frac {x^3}{b+c x} \, dx,x,x^2\right )\\ &=\frac {1}{2} \operatorname {Subst}\left (\int \left (\frac {b^2}{c^3}-\frac {b x}{c^2}+\frac {x^2}{c}-\frac {b^3}{c^3 (b+c x)}\right ) \, dx,x,x^2\right )\\ &=\frac {b^2 x^2}{2 c^3}-\frac {b x^4}{4 c^2}+\frac {x^6}{6 c}-\frac {b^3 \log \left (b+c x^2\right )}{2 c^4}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A] time = 0.01, size = 53, normalized size = 1.00 \begin {gather*} -\frac {b^3 \log \left (b+c x^2\right )}{2 c^4}+\frac {b^2 x^2}{2 c^3}-\frac {b x^4}{4 c^2}+\frac {x^6}{6 c} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
IntegrateAlgebraic [F] time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {x^9}{b x^2+c x^4} \, dx \end {gather*}
Verification is not applicable to the result.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 1.31, size = 45, normalized size = 0.85 \begin {gather*} \frac {2 \, c^{3} x^{6} - 3 \, b c^{2} x^{4} + 6 \, b^{2} c x^{2} - 6 \, b^{3} \log \left (c x^{2} + b\right )}{12 \, c^{4}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [A] time = 0.16, size = 47, normalized size = 0.89 \begin {gather*} -\frac {b^{3} \log \left ({\left | c x^{2} + b \right |}\right )}{2 \, c^{4}} + \frac {2 \, c^{2} x^{6} - 3 \, b c x^{4} + 6 \, b^{2} x^{2}}{12 \, c^{3}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.00, size = 46, normalized size = 0.87 \begin {gather*} \frac {x^{6}}{6 c}-\frac {b \,x^{4}}{4 c^{2}}+\frac {b^{2} x^{2}}{2 c^{3}}-\frac {b^{3} \ln \left (c \,x^{2}+b \right )}{2 c^{4}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [A] time = 1.33, size = 46, normalized size = 0.87 \begin {gather*} -\frac {b^{3} \log \left (c x^{2} + b\right )}{2 \, c^{4}} + \frac {2 \, c^{2} x^{6} - 3 \, b c x^{4} + 6 \, b^{2} x^{2}}{12 \, c^{3}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 0.05, size = 45, normalized size = 0.85 \begin {gather*} \frac {x^6}{6\,c}-\frac {b\,x^4}{4\,c^2}-\frac {b^3\,\ln \left (c\,x^2+b\right )}{2\,c^4}+\frac {b^2\,x^2}{2\,c^3} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [A] time = 0.18, size = 44, normalized size = 0.83 \begin {gather*} - \frac {b^{3} \log {\left (b + c x^{2} \right )}}{2 c^{4}} + \frac {b^{2} x^{2}}{2 c^{3}} - \frac {b x^{4}}{4 c^{2}} + \frac {x^{6}}{6 c} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________